1

Algorithms for four variants of the exact satisfiability problem

Year:
2004
Language:
english
File:
PDF, 304 KB
english, 2004
2

Counting models for 2SAT and 3SAT formulae

Year:
2005
Language:
english
File:
PDF, 323 KB
english, 2005